scheme-plus(A;B)
== let na,La,Ra = A in 
== let nb,Lb,Rb = B in <na+nb, La @ Lb, nmr.(Ra(nmr))  (Rb(namer-shift(na;nmr)))> 

latex

Definitions	let x,y,z = a in t(x;y;z), n+m, <a, b>, as @ bs, x.A(x), left  right, f(a)
FDL editor aliases	scheme-plus